UniRec: a unimodular-like framework for nested recursions and loops

نویسندگان

چکیده

Scheduling transformations reorder operations in a program to improve locality and/or parallelism. There are mature loop transformation frameworks such as the polyhedral model for composing and applying instance-wise scheduling nests.In recent years, there have been efforts build nested recursion loops, but these cannot employ full power of nests since they overly-restrictive representations. This paper describes new framework, UniRec, that not only generalizes prior reasoning about on recursion, also unimodular hence unifies perfectly-nested loops recursion.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Unimodular Transformations of Non-Perfectly Nested Loops

A framework is described in which a class of imperfectly nested loops can be restructured using unimodular transformations. In this framework, an imperfect loop nest is converted to a perfect loop nest using Abu-Sufah's Non-Basic-to-Basic-Loop transformation. Conditions for the legality of this transformation and techniques for their veriication are discussed. An iteration space, which extends ...

متن کامل

Towards Unimodular Transformations for Non-perfectly Nested Loops

In this paper we discuss a possibility to extend unimodular transformations to non-perfectly nested loops. The main idea behind this extension is to convert a non-perfectly nested loop into a perfectly nested one by moving code into to innermost loop and properly guarding it to avoid multiple execution. This form of the loop can be viewed as an intermediate form for the transformation. Having o...

متن کامل

a framework for identifying and prioritizing factors affecting customers’ online shopping behavior in iran

the purpose of this study is identifying effective factors which make customers shop online in iran and investigating the importance of discovered factors in online customers’ decision. in the identifying phase, to discover the factors affecting online shopping behavior of customers in iran, the derived reference model summarizing antecedents of online shopping proposed by change et al. was us...

15 صفحه اول

Nested Recursions, Simultaneous Parameters and Tree Superpositions

We apply a tree-based methodology to solve new, very broadly defined families of nested recursions of the general form R(n) = ∑k i=1R(n − ai − ∑p j=1R(n − bij)), where ai are integers, bij are natural numbers, and k, p are natural numbers that we use to denote “arity” and “order,” respectively, and with some specified initial conditions. The key idea of the tree-based solution method is to asso...

متن کامل

Non - unimodular Transformations of Nested

This paper presents a linear algebraic approach to modeling loop transformations. The approach uniies apparently unrelated recent developments in super-compiler technology. Speciically we show the relationship between the dependence abstraction called dependence cones, and fully permutable loop nests. Compound transformations are modeled as matrices. Non-singular linear transformations presente...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Proceedings of the ACM on programming languages

سال: 2022

ISSN: ['2475-1421']

DOI: https://doi.org/10.1145/3563333